\documentclass[fullpage]{article}

\usepackage{graphicx}
\usepackage{pslatex}
\usepackage{url}
\usepackage[top=1cm,left=1.7cm,right=1.7cm]{geometry}

\renewcommand{\tilde}{\raisebox{-1.2ex}{\Large\~{}\hspace{.15em}}}

\begin{document}

\begin{center}
  {\huge\bf MODELS'12 Workshop Application: \\[1ex]
    Analysis of Model Transformations (AMT)}
\end{center}

\section{General Information}
\begin{itemize}
\item[] 
  {\bf Workshop title:} Analysis of Model Transformations (AMT)
\item[] 
  {\bf Organizers and primary contact:}
  \begin{itemize}
  \item Juergen Dingel, Queen's University, dingel@cs.queensu.ca (Primary contact)
  \item Levi Lucio, McGill University, levi@cs.mcgill.ca
  \item Hans Vangheluwe, University of Antwerp and McGill University, hv@cs.mcgill.ca
  \item D\'aniel Varr\'o, Budapest University of Technology and Economics, varro@mit.bme.hu 
  \end{itemize}
\item[] {\bf Abstract:}

To facilitate the processing and manipulation of models, a lot 
of research has gone into developing languages, standards, 
and tools to support model transformations --- a quick search
on the internet produces more than 30 different transformation 
languages that have been proposed in the literature or implemented 
in open-source or commercial tools. 
The growing adoption of these languages and the growing size and 
complexity of the model transformations developed require a better
understanding of how all activities in the model transformation 
lifecycle can be better supported. 

The AMT workshop aims to address this issue by providing a forum
in which the analysis of model transformations to support the 
development, quality assurance, maintenance, and evolution of 
model transformations is studied. 
The adoption of existing analysis techniques and tools developed, e.g., 
in the context of general-purpose programming languages and source 
code transformation 
are of particular interest, but also the identification of analysis
challenges and solutions specific to model transformations or
certain classes of model transformation languages. 

The proposed AMT'12 workshop would be the first in what is intended
to be an ongoing series of annual workshops. It is planned to 
consist of presentations of technical papers, 
together with a discussion session specifically aimed at 
identifying research challenges within the area. 

\end{itemize}

\section{Objectives and Scope}
\begin{itemize}
    \item[] {\bf Motivation:}
      Properties of an artifact created by a model transformation
      are intimately linked to the model transformation that 
      produced it. 
      In other words, to be able to guarantee certain 
      properties of the produced artifact, it may be very helpful, 
      or even indispensable, to also have knowledge of 
      the producing transformation. 
      As the use and significance of modeling increase, 
      the importance that 
      the model transformations produce models of sufficient 
      quality and with desirable properties increases as well;
      similarly, 
      as the number and complexity of model transformations grows,
      the importance that transformations satisfy certain non-functional
      requirements and that life cycle activities for model 
      transformations such as development, quality assurance, 
      maintainance, and evolution are well supported grows as well. 

      There has already been an increased demand for and interest 
      in techniques and tools that analyze model transformations in 
      some way, with approaches and tools for model transformation 
      testing probably being the most prominent example. 

      It appears that the academic and industry communities 
      are ready for an event dedicated specifically to the 
      analysis of model transformation and that such an event
      has the potential to advance the state of the 
      art in model transformation and MDD substantially. 

    \item[] {\bf Objectives:}
      The central objective of the workshop is to provide a forum for
      the discussion and exchange of innovative ideas for the
      analysis of model transformations, broadly construed. 
      Analyses might support a variety of model transformation 
      activities including the development, quality assurance,
      maintenance and evolution by facilitating, for instance, 
      \begin{itemize}
      \item the detection of typing errors, anti-patterns, dead code, transformation 
	slices, likely invariants, or performance bottlenecks, 
      \item the informal, semi-formal, or formal establishment of 
	properties related to correctness or performance, 
      \item test suite evaluation through code coverage determination, 
      \item code completion and generation, 
      \item the evolution of metamodels, 
      \item impact analysis, 
      \item refactoring.
      \end{itemize}
      
      Another objective of the workshop is to help clarify which 
      transformation analysis problems can be solved with the
      help of existing analysis techniques and tools 
      developed in the context of 
      general-purpose programming languages and source code 
      transformation languages, and which analysis problems 
      require new approaches specific to model transformations. 
      The exchange of ideas between the modeling community 
      on the one hand and the programming languages community 
      and source code transformation community on the other
      hand thus is another objective of the workshop. 

      Topics of interest include, but are not limited to:
      \begin{itemize}
      \item formal specification and verification of model transformations
      \item testing and test case generation for model transformations
      \item static analysis for model transformations such as control and data 
      flow analyses and slicing
      \item dynamic analysis for model transformations such as 
	run-time monitoring and profiling (to, e.g., determine code coverage, 
	or detect requirements violations or likely invariants)
      \item abstract interpretation for model transformations
		(to, e.g., support optimization)
      \item metrics for model transformations (to support, e.g., anti-pattern detection, refactoring and evolution)
      \item impact analysis model transformations (to support, e.g., maintenance)
      \item certification and incremental re-validation for model transformations (e.g., for use in safety-critical systems)
      \item tools for analyzing model transformations
      \item (higher-order) transformation of transformation models to make them amenable for analysis
      \item case studies for analyzing model transformations
      \end{itemize}

    \item[] {\bf Intended audience:}
      The intended audience consists of researchers and practitioners
      interested in advancing the theory and practice of model transformation
      through analysis. While the workshop is aimed primarily at
      members of the modeling community, participation from 
      members of other relevant communities (such as programming languages
      and source code transformation) is encouraged. 

    \item[] {\bf Relevance:}
      AMT'12 would be the first workshop dedicated specifically to 
      the analysis of model transformations. 

      The most promiment events also interested in work involving
      the analysis of model transformations are the International
      Conference on Model Transformation~(ICMT), 
      the International Conference on Model Driven Engineering 
      Languages \& Systems~(MODELS), 
      the Workshop on Model-Driven Engineering, Verification and 
      Validation~(MoDeVVa), 
      the Workshop on Models and Evolution~(ME), 
      and the Workshop on Verification and Validation of Model 
      Transformations~(VOLT). 
      Of these, ICMT and MODELS are highly competitive conferences
      which typically do not accept the kind of work-in-progress
      research that workshops are for. 
      MoDEVVA and ME are established workshops typically colocated
      with MODELS; however, their scope is considerably broader
      than that of AMT. 
      VOLT, first held at ICST in April 2012, 
      focusses on verification and validation of model 
      transformations, but is less suitable for work on using
      analysis for purposes other than quality assurance;
      moreover, VOLT is currently co-located with ICST, which
      takes place around six months before MODELS. 

      To conclude, the creation of AMT and its colocation at MODELS
      appears justified by the richness and importance of the theory
      and practice of model transformations as an area of research, 
      and by the fact that there currently is insufficient possibility 
      for the dissimination and discussion of innovative ideas 
      for the analysis of model transformation. 

    \item[] {\bf Previous Experience by Organizers:}
      The organizers have extensive experience with conference
      and workshop organization in the software modeling and
      engineering domain. 

      Juergen Dingel was co-organizer of the Workshop 
      on Software Modeling for Embedded and Sensor Network Systems at 
      CASCON'11, PC co-chair of the FMOODS/FORTE'11 conference
      and the DEBS'05 workshop, Workshop co-chair for MODELS'10, 
      and Chair of the Doctoral Symposium at MODELS'09. 
      He regularly serves on programm committees of international 
      conferences and workshops devoted to software engineering, 
      software modeling and formal methods. 

      Levi L\'ucio was/is a co-organizer of the workshops MoDeVVa 2009, QuoMBaT
      2010, MoDeVVa 2010, MoDeVVa 2011, MoDeVVa 2012 and VOLT 2012. He served as
      program committee and/or referee for several other workshops, conferences
      and book chapters in the Model Driven Development domain.

      Hans Vangheluwe has (co-)organized numerous simulation conferences and
      workshops over the last two decades. For the last eight years, he (co-)organized
      the Bellairs Computer Automated Multi-Paradigm Modeling (CAMPaM) workshop, as well as
      MoDELS '06, '07, '09, '10, '11 workshops on Multi-Paradigm Modeling (MPM). 

      D\'aniel Varr\'o has co-organized several workshops related to graph and model based tools such as
      GRABATS 2006, 2010, GT-VMT 2006 and AGTIVE 2011. He regularly serves in the program committee of
      major international conferences in the field of model driven software engineering. 

\end{itemize}

\section{Organization Details}
\begin{itemize}
\item[] {\bf Organizers:} % 150 words max
  \begin{itemize}
    \item Juergen Dingel is Associate Professor in the School of Computing 
      at Queen's University. 
      His research is centered around 
      the development and use of informal and formal techniques 
      for the analysis of software artifacts. 
    \item Levi L\'ucio is a post doctoral fellow at the School of Computer
    Science of McGill University. Levi's research is about bridging formal techniques
    and software engineering.
    \item Hans Vangheluwe is a Professor in the Department of Mathematics and Computer Science
          at the University of Antwerp and an Adjunct Professor in the School of Computer Science
          of McGill University. His research is on the development of modeling and simulation methods, techniques
          and tools for the design of complex systems. His main focus is on Multi-Paradigm Modeling (MPM), which 
          combines multi-abstraction and multi-formalism modeling. Modular modeling language engineering and 
          model transformation play a central role in MPM.
    \item D\'aniel Varr\'o is an Associate Professor in the 
      Department of Measurement and Information Systems at the 
      Budapest University of Technology and Economics. 
      His research interests include transformation engineering, 
      software and systems modeling, dependable systems, and formal 
      verification. 
  \end{itemize}
\item[] {\bf Program Committee (expected):}
  The program committee will consist of about 20 researchers
  from academia and industry with background in 
  model transformation and analysis. 
  A tentative list can be found in the preliminary call for papers. 
\item[] {\bf Willing to merge?} 
  Should MODELS'12 receive a second, sufficiently related, 
  workshop application, a merge will be considered. 
\end{itemize}

\section{Workshop Format}
AMT is envisioned to be a 1-day workshop consisting of 
three paper presentation sessions and a discussion session. 
Each session will be chaired by one of the workshop organizers. 
During presentation sessions three to four papers 
will be presented in 30-minute slots with about 10 minutes
for questions and discussion at the end of each slot. 
The discussion session will be dedicated to identifying 
research challenges and themes. 

\begin{itemize}
  \item[] {\bf Paper Submission, Evaluation, and Publication:}
    Authors are invited to submit short papers or long papers. 
    \begin{itemize}
    \item[] {\bf Long papers (max.\ 12 pages)} % HV: 12 pages?
      should describe novel and innovative contributions to 
      the field of model transformation analysis. 
    \item[] {\bf Short papers (max.\ 8 pages)} can present 
      \begin{itemize}
      \item industrial feedback: industrial participants may 
	contribute research agendas, experience reports or case studies 
	involving the analysis of model transformations
	in an industrial setting. 
      \item work envisioned or in-progress: 
	researchers new to the field may submit extended abstracts about 
	work they are planning to do or are currently doing. 
      \item tools: these submissions discuss tools (or their use) 
	that are at least partially used for the analysis of 
	model transformations. 
      \end{itemize}
    \end{itemize}
      
    All papers must be written in English, and should adhere to Springer
    LNCS formatting guidelines. Contributions will be handled with
    EasyChair and will be peer reviewed by at least three PC
    members. 

    We intend to publish accepted workshop papers in the ACM Digital Library
    (approval pending). 
    We also assume that extended versions of the two best papers will be 
    published as usual in a  
    separate LNCS series (Springer Verlag) MODELS Workshop Proceedings 
    volume. 

\item[] {\bf Important Dates:}
  \begin{itemize}
    \item CFP complete and website up: April 01, 2012
    \item Submission deadline: July 26, 2012
    \item Author notification: Sept 03, 2012
    \item Final version: Sept 14, 2012
    \item Workshop: 1 day during Sept 30 - Oct 02, 2012
\end{itemize}

\item[] {\bf Local Arrangements and Equipment:}
  The workshop is expected to have about 20 participants including
  the session chairs and presenters. 
  A room for 25-30 people would be ideal, and should have a data projector
  for presentations. 
\end{itemize}

\section{Additional Material}
A preliminary Call for Papers is attached. It will be updated accordingly
should the workshop get accepted. 
A website for AMT'12 will be available at 
\verb+www.cs.queensu.ca/~dingel/amt12+. 
\end{document}

